הנדסת תוכנה פרק 9. Prof. Amir Tomer הנדסת תוכנה 1 תכן תוכנה מונחה עצמים

Size: px

Start display at page:

Download "הנדסת תוכנה פרק 9. Prof. Amir Tomer הנדסת תוכנה 1 תכן תוכנה מונחה עצמים"

Gilbert Jennings
6 years ago
Views:

1 פרק 9 1 תכן תוכנה מונחה עצמים

2 הנושאים בפרק זה דפוסי תכן עקרונות לתכן יציב (SOLID) חלוקה למארזים וארגונם הנכון 2 תכן תוכנה מונחה עצמים

3 דפוסי תכן patterns( )design פתרון עקרוני לבעיית-תכן )מונחה עצמים( החוזרת על עצמה תבנית שיטתית של אופן הצגת הפתרון ארגון כללי של עצמים ומחלקות לפתרון הבעיה נדרשת "תפירה" של הדפוס עבור פתרון ספציפי בהקשר נתון תכולה של דפוס תכן תאור הבעיה תאור הפתרון תנאי השימוש בפתרון השלכות הפתרון הנחיות מימוש דוגמאות מימוש 3 תכן תוכנה מונחה עצמים

4 סוגי דפוסי תכן )The GOF = Gang of Four( ע פ כנופיית הארבעה E. Gamma, R. Helm, R. Johnson & J. Vlissides, Design Patterns, Addison-Wesley, דפוסי מבנה patterns( )structural הגדרת מבנים מורכבים דפוסי יצירה patterns( )creational יצירת אובייקטים בזמן ריצה הקטנת התלות בין הגדרת המחלקות )במפרט( ובין האובייקטים בפועל )בקוד( דפוסי התנהגות patterns( )behavioral הקצאת התנהגות לאובייקטים בזמן ריצה העברת המיקוד מזרימת הבקרה אל אופן התקשורת בין האובייקטים 4 תכן תוכנה מונחה עצמים

5 Composite Pattern (1) this is a text דפוס מבנה הבעיה יצירת מבנה היררכי רקורסיבי דוגמה מבנים גרפיים apicture apicture aline arectangle arectangle aline atext 5 תכן תוכנה מונחה עצמים

6 Composite Pattern (2) graphics מימוש הדוגמה client uses <<abstract>> Graphic 1..* draw() (virtual) add(component) (virtual) remove(component) (virtual) getchild(int) (virtual) Line Rectangle Text Composite draw() draw() draw() forall g in graphics g.draw() draw() add(component) remove(component) getchild(int) 6 תכן תוכנה מונחה עצמים

7 Composite Pattern (3) children התבנית הכללית client uses <<abstract>> Component 1..* operation() (virtual) add(component) (virtual) remove(component) (virtual) getchild(int) (virtual) Leaf operation() forall c in children c.operation() Composite operation() add(component) remove(component) getchild(int) 7 תכן תוכנה מונחה עצמים

8 Decorator Pattern (1) דפוס מבנה הבעיה הקניית יכולות משלימות למופעים ספציפיים של מחלקה דוגמה חלון להצגת טקסט אובייקט בסיסי 8 תכן תוכנה מונחה עצמים

9 Decorator Pattern (2) Component my_component מימוש הדוגמה draw() (virtual) TextView Decorator draw() draw() my_component -> draw(); ScrollDecorator scrollposition BorderDecorator borderwidth + draw() - scrollto() + draw() - drawborder() Decorator::draw; drawborder; 9 תכן תוכנה מונחה עצמים

10 Decorator Pattern (3) Component my_component התבנית הכללית operation() (virtual) ConcreteComponent Decorator operation() operation() my_component -> operation(); ConcreteDecoratorA added_state ConcreteDecoratorB added_state + operation() - added_behavior + operation() - added_behavior Decorator::operation(); added_behavior; 10 תכן תוכנה מונחה עצמים

11 דוגמה בג'אווה קפה+תוספות 11 תכן תוכנה מונחה עצמים

12 Abstract Factory Pattern (1) דפוס יצירה הבעיה יצירה ושימוש באובייקטים בסביבה משתנה, שלהם )כלומר, באופן שקוף ליישום( ללא תלות במימוש הספציפי דוגמה Windows / Android בסביבות GUI createwindow() createscrollbar() 12 תכן תוכנה מונחה עצמים

13 Abstract Factory Pattern (2) מימוש הדוגמה <<abstract>> WidgetFactory client createscrollbar() (virtual) createwindow() (virtual) <<abstract>> Window MSWindow ADWindow ADWidgetFactory createscrollbar() createwindow() MSWidgetFactory createscrollbar() createwindow() <<abstract>> ScrollBar creates creates MSScrollBar ADScrollBar 13 תכן תוכנה מונחה עצמים

14 Abstract Factory Pattern (3) התבנית הכללית <<abstract>> AbstractFactory client createproducta() (virtual) createproductb() (virtual) <<abstract>> AbstractProductA ProductA2 ProductA1 ConcreteFactory1 createproducta() createproductb() ConcreteFactory2 createproducta() createproductb() <<abstract>> AbstractProductB creates creates ProductB2 ProductB1 14 תכן תוכנה מונחה עצמים

15 דוגמה בפסאודו-קוד 15 תכן תוכנה מונחה עצמים

16 Observer Pattern (1) דפוס התנהגות הבעיה הצגה של אותו מידע באופנים שונים דוגמה הצגת תוכן אינטרנטי בדפדפן רגיל ובדפדפן סלולרי 16 תכן תוכנה מונחה עצמים

17 Observer Pattern (2) Subject מחזיק את הנתונים מתחזק רשימה של משקיפים מודיע לכל משקיף ברשימה על שינוי בנתונים Observer משקיף אבסטרקטי Concrete Observer משקיף עבור תצוגה ספציפית מגיב להודעות לגבי שינוי בנתונים ע"י שינוי התצוגה בהתאם Diagram source: Wikipedia 17 תכן תוכנה מונחה עצמים

18 Strategy Pattern (1) דפוס התנהגות הבעיה ביצוע של מתודה באופנים שונים, תוך שקיפות למשתמש דוגמה מתן הנחיית ניווט בצורה גראפית או בצורה קולית "Turn right to First Avenue 18 תכן תוכנה מונחה עצמים

Strategy Pattern (2) / חישוב באופנים שונים, מבלי לדעת Context שירות כלשהו שבאמצעותו ניתן לבצע משימה את פרטי היישום Interface הגדרת החתימה של האלגוריתם

19 Strategy Pattern (2) / חישוב באופנים שונים, מבלי לדעת Context שירות כלשהו שבאמצעותו ניתן לבצע משימה את פרטי היישום Interface הגדרת החתימה של האלגוריתם Implementation One/Two/ יישומים שונים של האלגוריתם הנחיה קולית הנחיה ויזואלית Diagram source: 19 תכן תוכנה מונחה עצמים

20 המבנה הקונספטואלי MVC שינוי מצב עדכון כל המבטים: Observer Pattern התרעת שינוי שאילתת מצב בחירת תצוגה פעולות משתמש ביצוע הפעולה בכל הבקרים: Strategy Pattern הפעלת מתודות אירועים 20 תכן תוכנה מונחה עצמים

21 קונספט הפעולה )מודל דינאמי - תרחישים שונים( MVC :View :Controller :Model Client 1.0 Initialize() 1.1 Register() RegisterView() 1.3 איתחול 1. ורישום המבט 2.0 StatusRequest() 2.1 StatusRequest() 2.3 StatusUpdate() 2.2 :Status 2. שאילת יזומה למודל 3.0 UserAction() 3.1 UserAction() 3.2 StatusChange() פעולת משתמש לעדכון המודל 3.4 loop [for all registered views] 4.1 Update() 4.0 UpdateView() 4. עדכון כל המבטים 5.0 SetupView() בחירת תצוגה 21 תכן תוכנה מונחה עצמים

22 אנטי-דפוסים דפוסי תכן נפוצים שיש להימנע מהם דוגמאות God Object מחלקה אחת ענקית המכילה את כל הפונקציונליות של התוכנית Poltergeist תכנות פרוצדורלי במסווה של מונחה-עצמים אובייקט קצר-מועד המשמש כמתווך זמני להעברת מידע בין אובייקטים אחרים Sequential coupling מחלקה שדורשת שהמתודות שלה יופעלו על פי סדר מחייב Singletonitis לדוגמה: Init, Begin, Start שימוש מופרז בדפוס-התכן Singleton DataBase, Controller מחלקה שקיים ממנה אובייקט בודד בתוכנה, לדוגמה: = Singleton 22 תכן תוכנה מונחה עצמים

23 הנושאים בפרק זה דפוסי תכן עקרונות לתכן יציב (SOLID) חלוקה למארזים וארגונם הנכון 23 תכן תוכנה מונחה עצמים

24 עקרונות לתכן "יציב" מונחה עצמים 5 SOLID Single Responsibility Principle (SRP) Open Close Principle (OCP) Liskov Substitution Principle (LSP) Interface Segregation Principle (ISP) Dependency Inversion Principle (DIP) 24 תכן תוכנה מונחה עצמים

25 Single Responsibility Principle (SRP) עיקרון האחריות היחידה לכל מחלקה יש אחריות אחת, אחריות = סיבה להשתנות ורק אחת לכל מחלקה צריכה להיות סיבה אחת בלבד להשתנות לדוגמה: מחלקה המייצגת הודעת דואר אלקטרוני שתי סיבות לשינוי שינוי בפורמט התוכן של הודעה )טקסט, )...,HTML שינוי בפרוטוקול הדואר )POP3, IMAP, ( 25 תכן תוכנה מונחה עצמים

26 מימוש הודעת דוא"ל אחריות כפולה אחריות למבנה ההודעה interface I { public void setsender(string sender); public void setreceiver(string receiver); public void setcontent(string content); } class implements I { public void setsender(string sender) {// set sender; } public void setreceiver(string receiver) {// set receiver; } public void setcontent(string content) {// set content; } Source: אחריות לסוג התוכן 26 תכן תוכנה מונחה עצמים

27 מימוש הודעת דוא"ל מימוש יציב interface I {interface I { public void setsender(string sender); public void setreceiver(string receiver); public void setcontent(icontent content); } interface IContent { public String getasstring(); } class Content implements IContent { public String getasstring(); // used for serialization } אחריות לסוג התוכן אחריות למבנה ההודעה class implements I { public void setsender(string sender) {// set sender; } public void setreceiver(string receiver) {// set receiver; } public void setcontent(content content) {// set content; } } 27 תכן תוכנה מונחה עצמים

28 דוגמה נוספת הפרדת אחריות בין הישות לבין ייצוגה אחריות כפולה הפרדת אחריות Source: 28 תכן תוכנה מונחה עצמים

29 עיקרון האחריות היחידה: סיכום Source: www. themoderndeveloper.com 29 תכן תוכנה מונחה עצמים

30 Open-Close Principle (OCP) עיקרון הפתיחות-סגירות מחלקה צריכה להיות פתוחה להרחבות סגורה לשינויים המשמעות שינויים צריכים להיעשות ע"י הוספת תת-מחלקות המממשים אותם 30 תכן תוכנה מונחה עצמים

31 עיקרון הפתיחות-סגירות: דוגמה שימוש במחלקה אבסטרקטית ובתת-מחלקות ספציפיות Source: www. jasondeoliveira.com 31 תכן תוכנה מונחה עצמים

32 עיקרון הפתיחות-סגירות: סיכום Source: www. themoderndeveloper.com 32 תכן תוכנה מונחה עצמים

33 Liskov s Substitution Principle (LSP) עיקרון ההחלפה של לישקוב אם S היא תת-מחלקה )יורשת( של T אזי ניתן להחליף כל מופע של T במופע של S מבלי שההתנהגות תשתנה המשמעויות מחלקה יורשת איננה יכולה לשנות את התנהגות מחלקת-האם מי שפונה למתודה המוגדרת במחלקת האם איננו אמור לדעת לאיזו מהמחלקות-הבנות הוא פונה המקרה הקלאסי האם ריבוע הוא מלבן? האם מעגל הוא אליפסה? מבחינה מתימטית-גיאומטרית: הישות מימין היא מקרה פרטי של הישות משמאל מבחינה הצהרתית-תכנותית: הישות הימנית היא ישות המוגדרת ע"י פרמטר אחד )אורך צלע, מרכז( בעוד שהשמאלית מוגדרת ע"י שני פרמטרים )אורך- רוחב, מוקדים( 33 תכן תוכנה מונחה עצמים

34 עיקרון ההחלפה של לישקוב: דוגמה class Rectangle { protected int m_width; protected int m_height; public void setwidth(int width){ m_width = width; } "התחכמות" ריבוע הוא מלבן שארכו שווה לרוחבו } public void setheight(int height){ m_height = height; } public int getarea(){ return m_width * m_height; } class Square extends Rectangle { public void setwidth(int width){ m_width = width; m_height = width; } } public void setheight(int height){ m_width = height; m_height = height; } class LspTest { private static Rectangle getnewrectangle() { /* it can be an object returned by some factory... */ return new Square(); } } public static void main (String args[]) { Rectangle r = LspTest.getNewRectangle(); r.setwidth(5); r.setheight(10 System.out.println(r.getArea } 34 תכן תוכנה מונחה עצמים

35 עיקרון ההחלפה של לישקוב: סיכום Source: www. themoderndeveloper.com 35 תכן תוכנה מונחה עצמים

36 Interface Segregation Principle (ISP) עיקרון היבדלות הממשקים אין להכריח לקוח להיות תלוי בממשק שהוא אינו משתמש בו יש להחליף ממשק "שמן" בממשקים "רזים", כל אחד מותאם ללקוח ספציפי 36 תכן תוכנה מונחה עצמים

37 עיקרון היבדלות הממשקים: דוגמה* דלת עם נעילה לאחר השהיה היא... דלת רגילה ישות עם מונה-זמן (timer) public class Door { public void lock() { /* implementation */ } public void unlock() { /* implementation */ } public boolean isopen() { /* implementation */ } } public class Timer { public void register(int timeout, TimerClient client) { /* implementation */ } } public interface TimerClient { public void timeout(); } *Source: 37 תכן תוכנה מונחה עצמים

38 דלת מושהית: פתרון בעייתי "להכריח" כל דלת להיות דלת מושהית 38 תכן תוכנה מונחה עצמים

39 דלת מושהית: פתרון מבוסס על ירושה-מרובה Inheritance) (Multiple לא כל השפות תומכות בירושה מרובה 39 תכן תוכנה מונחה עצמים

40 דלת מושהית: פתרון מבוסס על (delegation) "שליח" דפוס תכן (Adapter) "מתאם" 40 תכן תוכנה מונחה עצמים

41 עיקרון היבדלות הממשקים: סיכום Source: www. themoderndeveloper.com 41 תכן תוכנה מונחה עצמים

42 Dependency Inversion Principle (DIP) עיקרון היפוך התלות מודולים ברמה גבוהה אינם צריכים להיות תלויים במודולים ברמה נמוכה שניהם צריכים להיות תלויים באבסטרקציה אבסטרקציות אינן צריכות להיות תלויות בפרטים פרטים צריכים להיות תלויים באבסטרקציות תכן תוכנה מונחה עצמים

43 עיקרון היפוך התלות: סיכום Source: www. themoderndeveloper.com 43 תכן תוכנה מונחה עצמים

44 הנושאים בפרק זה דפוסי תכן עקרונות לתכן יציב (SOLID) חלוקה למארזים וארגונם הנכון 44 תכן תוכנה מונחה עצמים

45 מודל המארזים מארז (Package) = אוסף של ישויות מאותו סוג מהי תלות? Cases,Use מחלקות, רכיבים, מארזים תלות )dependency( בין מארזים אלמנטים ממארז אחד נדרשים "להכיר" אלמנטים ממארז אחר יש לוודא שהתלות בין המארזים איננה מעגלית מפריע לייצוב הפיתוח תרשים מארזים diagram( )package אוסף של מארזים והתלויות שביניהם cmp Use Case Model Class A Class B <<include>> UC-1 C3 Class C UC-2 <<extend>> UC-3 C2 C1 45 תכן תוכנה מונחה עצמים

46 תלות - dependency יחס (relationship) בין שתי ישויות ישות עצמאית ישות תלויה שינוי כלשהו בישות העצמאית עלול להשפיע על הישות התלויה תלות יכולה להתקיים גם בין ישויות שאין ביניהן זיקה (association) כלשהי לדוגמה: ישות עצמאית עצם ממחלקה כלשהי מועבר כפרמטר לפונקציה של מחלקה אחרת ישות תלויה תלויות בין מחלקות תלויות בין Use Cases Building Person בדיקה Theatre Seat Sell(Person) חילוץ נסיעה במעלית 46 תכן תוכנה מונחה עצמים

47 )1( חלוקה למארזים על בסיס Use Cases חלוקה לפי סוג תפעול מערכת המעליות 1. הזמנת מעלית <<extend>> 3. בדיקה טכנאי נוסע 2. נסיעה במעלית 4. תיקון 5. חילוץ מחלץ התלות הנוצרת בין המארזים: הפעלה מיוחדת הפעלה שגרתית 47 תכן תוכנה מונחה עצמים

48 )2( חלוקה למארזים על בסיס Use Cases חלוקה לפי שחקנים מערכת המעליות 1. הזמנת מעלית <<extend>> 3. בדיקה טכנאי נוסע 2. נסיעה במעלית 4. תיקון 5. חילוץ מחלץ התלות הנוצרת בין המארזים: פעולות טכנאי פעולות מחלץ פעולות נוסע 48 תכן תוכנה מונחה עצמים

49 )3( חלוקה למארזים על בסיס Use Cases חלוקה שרירותית מערכת המעליות 1. הזמנת מעלית <<extend>> 3. בדיקה טכנאי נוסע 2. נסיעה במעלית 4. תיקון 5. חילוץ מחלץ התלות הנוצרת בין המארזים: מארז א' מארז ב' 49 תכן תוכנה מונחה עצמים

50 מארזים של מחלקות מחלקות "פרטיות" ו"משותפות" class class diagram w. packages CommonClassPackage «<<abstract>>» Trav elbutton - islit: boolean + putlight(byte) : void + require(floor) : void «abstract» Button + press() : void * generates StopRequest - destination: Floor CentralControlPackage 0..* ElevatorControllerPackage FloorButton + dirlabel: up_down Elev atorbutton + floorlabel: int 10 RescueButton 1 StopButton 1 PendingRequestList Elev ator + allocaterequest(stoprequest) : void allocatesto isactive: boolean + isinorder: boolean + Location: Floor + startoperation() : void 50 תכן תוכנה מונחה עצמים

51 ההבדל בין מארזים לרכיבים מארז = אוסף לכוד (cohesive) של מחלקות למארז אין משמעות בזמן ריצה מארז מוגדר ע"י תרשים מחלקות אחד או יותר Diagrams) (Class רכיב )זמן ריצה( = אוסף של עצמים המבצעים ביניהם אינטראקציה משקף ( manifests )את המארזים מהם נבנה )ע"י הידור וקישור( פעולת הרכיב מוגדרת ע"י תרשים רצף אחד או יותר Diagrams) (Sequence Source1 CommonLibrary Source2 «manifest» «manifest» «manifest» «manifest» «runtime» Component1 «runtime» Component2 51 תכן תוכנה מונחה עצמים

52 עקרונות חלוקה למארזים )של מחלקות(* עקרונות לשמירה על לכידות הדוקה Cohesion) (Tight שקילות שחרור שימוש-חוזר Equivalence) (Reuse-Release שימוש-חוזר משותף Reuse) (Common סגירות משותפת Closure) (Common עקרונות לשמירה על צימוד רופף Coupling) (Loose תלויות לא-מעגליות Dependencies) (Acyclic תלויות יציבות Dependencies) (Stable אבסטרקציות יציבות Abstractions) (Stable שקף זה, 2013 והבאים אחריו, מבוססים על 52 תכן תוכנה מונחה עצמים

53 עיקרון השקילות של שחרור / שימוש-חוזר Reuse Release Equivalence Principle (REP) The granule of reuse is the granule of release כל דבר שעושים בו שימוש-חוזר הוא גם משוחרר וגם נמצא במעקב כותב המארז חייב להבטיח תחזוקה הודעות על שינויים עתידיים אופציה למשתמש לסרב לגרסאות חדשות לתמוך בגרסאות ישנות לאורך תקופת זמן מסויימת עניין פוליטי מרכזי התוכנה צריכה להיות מחולקת כך שתהיה נוחה לאנשים מארזים הניתנים לשימוש-חוזר חייבים להכיל מחלקות הניתנות לשימוש-חוזר או שכל המחלקות במארז ניתנות לשימוש חוזר, או שאף אחת מהן ניתנות לשימוש חוזר ע"י אותו קהל 53 תכן תוכנה מונחה עצמים

54 Common Reuse Principle (CRP) עיקרון השימוש-החוזר המשותף The classes in a package are reused together If you reuse one of the classes in a package, you reuse them all אם מחלקה אחת במארז משתמשת במחלקה במארז אחר, אזי יש תלות בין המארזים בכל פעם שמשחררים את המחלקה שבשימוש חוזר, המארז המשתמש בה חייב לעבור תיקוף ויש לשחררו מחדש תלות במארז פירושה תלות בכל המחלקות של אותו מארז! מחלקות בעלות זיקה הדוקה זו לזו צריכות להיות באותו מארז בדרך כלל בין מחלקות אלה קיים צימוד הדוק לדוגמה: מחלקה שהיא וה- iterator container המחלקות באותו מארז אמורות להיות בלתי-ניתנות להפרדה לעשות שימוש-חוזר באחת ללא השניה לא ניתן 54 תכן תוכנה מונחה עצמים

55 Common Closure Principle (CCP) עיקרון הסגירות המשותפת The classes in a package should be closed together against the same kind of changes A change that affects a closed package affects all the classes in that package and no other packages חזרה על עיקרון האחריות היחידה (SRP) עבור מארזים למארז לא תהיה יותר מסיבה אחת לשינוי תחזוקתיות חשובה לעיתים יותר מיכולת לשימוש-חוזר כל השינויים אמורים להתרחש במארז אחד מצמצם את היקף העבודה הקשורה בשחרור, תיקוף מחדש והפצה מחדש קשור לעיקרון הפתיחות-סגירות (OCP) סגירות אסטרטגית: סגירות בפני סוגי שינויים צפויים העיקרון מנחה לקיבוץ של מחלקות הפתוחות לאותו סוג של שינוי 55 תכן תוכנה מונחה עצמים

56 Acyclic Dependencies Principle (ADP) עיקרון התלויות הלא-מעגליות Allow no cycles in the package dependency graph ללא מעגלים קל יותר לקמפל, לבדוק ולשחרר bottom-up כאשר בונים את כל התוכנה המארזים במעגל יהפכו למארז אחד דה-פקטו זמן הקומפילציה גדל הבדיקות נעשות קשות כיוון שצריך לבנות build שלם כדי לבדוק מארז בודד המפתחים "דורכים אחד לשני על הרגליים" גרסת מארזים של חבריהם כי הם חייבים להשתמש באותה 56 תכן תוכנה מונחה עצמים

Stable Dependencies Principle (SDP) עיקרון התלויות היציבות Depend in the direction of stability התכן לא יכול להיות סטטי לחלוטין נדרשת גמישות מסויימת כדי לתחזק את התכן עיקרון הסגירות-המשותפת :(CCP)

57 Stable Dependencies Principle (SDP) עיקרון התלויות היציבות Depend in the direction of stability התכן לא יכול להיות סטטי לחלוטין נדרשת גמישות מסויימת כדי לתחזק את התכן עיקרון הסגירות-המשותפת :(CCP) חלק מהמארזים רגישים לסוגים מסויימים של שינויים מארז "גמיש" לא יכול להיות תלוי במארז שקשה לשנותו מארז שתוכנן לעריכת שינויים בקלות עלול )בטעות( להפוך למארז בלתי ניתן לשינוי, כי מארזים אחרים תלויים בו! מדד ליציבות של מארז )יציבות = קושי לשנות( (afferent) צימודים פנימה :C a מספר המחלקות מחוץ למארז שתלויות במחלקות בתוך המארז (efferent) צימודים החוצה :C e מספר המחלקות בתוך מארז שתלויות במחלקות מחוץ למארז I = C e / (C e + C a ) = 0 I : מארז יציב לחלוטין = 1 I : מארז בלתי-יציב )גמיש( לחלוטין מדד היציבות של מארז חייב להיות גדול ממדד היציבות של מארז שהוא תלוי בו 57 תכן תוכנה מונחה עצמים

Stable Abstractions Principle (SAP) עיקרון האבסטרקציות היציבות A package should be as abstract as it is stable מארז יציב צריך להיות אבסטרקטי, על מנת שלא למנוע את הרחבתו מארז לא יציב )גמיש( חייב להיות

58 Stable Abstractions Principle (SAP) עיקרון האבסטרקציות היציבות A package should be as abstract as it is stable מארז יציב צריך להיות אבסטרקטי, על מנת שלא למנוע את הרחבתו מארז לא יציב )גמיש( חייב להיות קונקרטי, כי הגמישות מאפשרת לקוד קונקרטי להשתנות בקלות SDP + SAP = DIP כיוון התלויות הוא ככיוון האבסטרקציות מדד לאבסטרקציה של מארז N c N a : מספר המחלקות במארז : מספר המחלקות האבסטרקטיות במארז A = N a / N c : A = 0 A = 1 : אין מחלקות אבסטרקטיות יש רק מחלקות אבסטרקטיות 58 תכן תוכנה מונחה עצמים

ד, ר עמיר תומר

ד, ר עמיר תומר מונחה-עצמים תוכנה תכן Object-Oriented Oriented Software Design ד, תכן מונחה עצמים - 1 ד, תכן התוכנה פעילות קלט ארכיטקטורת התוכנה מודל רכיבים (component model) מפרט תהליכי התוכנה sequence models use case